<?php
echo readfile("hello_world.txt");
?>
